面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

信息安全绩效测量体系研究

绩效管理是指组织内各级管理者和员工为了达到组织目标共同参与的绩效计划制定、绩效辅导沟通、绩效考核评价、绩效结果应用、绩效目标提升的持续循环过程，绩效管理的目的是持续提升个人、部门和组织的绩效。良好的绩效管理体系能够激发管理者和员工的工作积极性、创造性，自发改进组织目标的实现过程，提高目标实现的效率和效果。相反，糟糕的绩效管理体系给组织带来的负面影响也是巨大的。信息安全管理是组织管理的重要组成部分。本文立足组织信息安全管理，重点研究信息安全绩效测量体系制定环节，结合国际国内相关标准，剖析信息安全绩效测量体系的设计方法，分享设计思路。     

基于Linux军用TCP/IP协议栈设计与实现

提出一种在嵌入式Linux操作系统上运行TCP/IP协议的解决方案。介绍了Linux内核,在此基础上结合嵌入式系统特点,对TCP/IP协议栈进行简化,提出总协议栈的体设计。根据军用通讯要求着重讨论了网络协议的安全问题,参考现在通用的网络安全模式PGP,对TCP/IP协议栈进行修改,主要是在应用层中加入了加密、认证以及密钥分配过程。加密过程采用DES和RSA组合算法,保证其安全性、可行性以及时效性。     

航空维修人员的个性心理与维修安全研究

由于目前航空维修人员的选拔缺乏专业心理素质考察,导致一些从业人员心理素质较差,从而增加了发生维修差错的可能性.本文通过卡氏16种人格因素测验,对影响航空维修质量和安全的个性因素进行分析和评估,对航空维修人员心理与维修安全进行了讨论,并提出了几点建议.     

数据分发用户协议模型研究

通过分析某型号卫星用户地面链路的实际应用情况,结合互联网应用协议模型,面向系统未来发展需要,提出了数据分发用户协议模型,分析了协议模型的层次关系,介绍了协议模型的具体工作过程,并对其工程可行性进行了分析,解决了地面链路连接管理以及应用负载分配的应用问题,在一定程度上避免了系统安全隐患,为系统实际工程应用提供了切实可行的途径。     

基于最近服务的层次式网格信任模型

阐述了网格环境中信任模型的需求,并分析了传统网格信任模型的优缺点,由此提出了基于最近服务的层次式网格信任模型,设计了相应的计算公式.与传统的信任模型相比较,该模型占用网格资源少、信任评估复杂度低、可伸缩性强,能够较好地抑制网格环境下的恶意评价和协同作弊的威胁.采用改进后的网格仿真工具GridSim进行模拟实验,结果表明该信任模型提高了网格系统的可靠程度.     

卫星导航系统及其在空天安全中的重要作用

简要介绍了美国"全球定位系统"(GPS)、俄罗斯"全球导航卫星系统"(GLONASS)和欧洲正在建设的"伽利略"(Galileo)卫星导航系统的发展及其基本发展态势.详细介绍了中国自主建设的"北斗"(COMPASS)卫星导航系统的发展思路、系统组成和应用情况.分析总结了卫星导航系统在空天安全中的几项重要作用,如实现协同...     

无人战斗机的安全性考虑因素

作为一种新的空中作战平台，无人战斗机在设计时需要考虑许多安全因素，包括飞行器安全、协同安全、任务安全、控制安全和信息安全，文章对此进行了详细的讨论。     

一种基于FPGA的ISA航空总线设计方法

Nios Ⅱ处理器是Altera公司推出的基于SOPC系统的嵌入式软核处理器。在Quartus Ⅱ软件的SOPC Builder工具中,用户可以利用Nios Ⅱ处理器、标准配套外围设备以及用户自定义的逻辑接口IP核来创建适用的Nios Ⅱ嵌入式系统,再将设计下载到Altera公司的FPGA中进行实现。本文在Quartus Ⅱ软件中使用Verilog硬件描述语言创建了基于Avalon总线的ISA总线接口逻辑,并在SOPC Builder中实现对此元件的封装,使之成为可供Nios Ⅱ系统使用IP核。